Re - interpreting the modal - calculusMarcello
نویسندگان
چکیده
We reexamine the modal-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with xed points. We propose interpreting formulas into a eld of subsets of states instead of the full power set lattice used by Kozen. Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated transition systems and descriptive modal frames. Also, it is shown that the class of image compact modal frames satisses the Hennessy-Milner property. We conclude by showing that for descriptive modal-frames the standard interpretation coincides with the one we proposed .
منابع مشابه
Re-interpreting the Modal -calculus
We reexamine the modal-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with xed points. We propose interpreting formulas into a eld of subsets of states instead of the full power set lattice used by Kozen. Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated...
متن کاملThe modal logic of β ( N )
Let β(N) denote the Stone–Čech compactification of the set N of natural numbers (with the discrete topology), and let N∗ denote the remainder β(N)−N. We show that, interpreting modal diamond as the closure in a topological space, the modal logic of N∗ is S4 and that the modal logic of β(N) is S4.1.2.
متن کاملQuantified Modal Logic and the Plural De Re
within a language whose only modal operators are the box and the diamond; other modal idioms cannot be expressed within such a language at all. Nonetheless, quantified modal logic has enjoyed considerable success in uncovering and explaining ambiguities in modal sentences and fallacies in modal reasoning. A prime example of this success is the now standard analysis of the distinction between mo...
متن کاملOn modal logic of deductive closure
A new modal logic D is introduced. It describes properties of provability by interpreting modality as a deductive closure operator on sets of formulas. Logic D is proven to be decidable and complete with respect to this semantics.
متن کاملModal Logics of Stone Spaces
Interpreting modal diamond as the closure of a topological space, we axiomatize the modal logic of each metrizable Stone space and of each extremally disconnected Stone space. As a corollary, we obtain that S4.1 is the modal logic of the Pelczynski compactification of the natural numbers and S4.2 is the modal logic of the Gleason cover of the Cantor space. As another corollary, we obtain an axi...
متن کامل